An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
نویسندگان
چکیده
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testing. This paper reports the results of an empirical study using the dynamic symbolic-execution tool, CUTE, and a search based tool, AUSTIN on five non-trivial open source applications. The aim is to provide practitioners with an assessment
منابع مشابه
AUSTIN: An open source tool for search based software testing of C programs
Context: Despite the large number of publications on Search–Based Software Testing (SBST), there remain few publicly available tools. This paper introduces AUSTIN, a publicly available open source SBST tool for the C language. The paper is an extension of previous work [1]. It includes a new hill climb algorithm implemented in AUSTIN and an investigation into the effectiveness and efficiency of...
متن کاملMathematical Execution: A Unified Approach for Testing Numerical Code
This paper presents Mathematical Execution (ME), a new, unifiedapproach for testing numerical code. The key idea is to (1) capturethe desired testing objective via a representing function and (2) trans-form the automated testing problem to the minimization problem ofthe representing function. The minimization problem is to be solvedvia mathematical optimization. The main...
متن کاملAre concurrency coverage metrics effective for testing: a comprehensive empirical investigation
Testing multithreaded programs is inherently challenging, as programs can exhibit numerous thread interactions. To help engineers test these programs cost-effectively, researchers have proposed concurrency coverage metrics. These metrics are intended to be used as predictors for testing effectiveness and provide targets for test generation. The effectiveness of these metrics, however, remains l...
متن کاملAn identification of program factors that impact crossover performance in evolutionary test input generation for the branch coverage of C programs
Genetic Algorithms are a popular search-based optimisation technique for automatically generating test inputs for structural coverage of a program, but there has been little work investigating the class of programs for which they will perform well. This paper presents five program factors that affect the performance of crossover, a key search operator in Genetic Algorithms, when searching for i...
متن کاملHuman Resource Management in the Public Sector: An Investigation into the Iranian Ministries
The majority of human resource management (HRM) studies, to date, are devoted to the developed countries and there is still scarcity of research on the nuances of HRM in the developing countries. This paper looks deeper into and reviews the empirical nuances of HRM functions in the Iranian public sector. Using interviews in five Iranian ministries, key HRM features are extracted and explained i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Systems and Software
دوره 83 شماره
صفحات -
تاریخ انتشار 2010